Nuprl Definition : eclbase 11,40
eclbase(k; test) == inl <k, test>  
latex

Definitionsinl x , <a, b>
FDL editor aliaseseclbase, eclbase

origin